Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
31	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
32	Utility English version – SOSI standard 4.0 Utility English version – SOSI standard 4.0 Utility English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2015-07-22 04:38:41 ECO Constraint Constraint programming Programming paradigms Constraint logic programming Logic programming
33	Introduction & Motivation Relations and Operations The complexity of positive equality-free first-order logic Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-09-09 14:15:56 Complexity classes Finite model theory Computational complexity theory Descriptive complexity FO Constraint programming Constraint satisfaction problem P Model theory Mathematical logic Constraint satisfaction HO
34	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
35	Monday 16 September 9:00 Invited talk (chair: Tom Schrijvers) Add to Reading List Source URL: users.ugent.be Language: English - Date: 2014-09-18 05:58:35 Programming paradigms Logic in computer science Constraint programming Prolog Constraint Handling Rules Abstract machine Operational semantics Abstract data type Semantics Functional programming Logic programming Coq
36	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
37	Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:58 Programming paradigms Abductive logic programming Linear temporal logic Model checking Formal verification NuSMV Constraint programming Temporal logic Declarative programming Prolog Logic programming Entityrelationship model
38	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
39	Low-level dichotomy for Quantified Constraint Satisfaction Problems Barnaby Martin 1 School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U.K. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-07-07 11:03:52 Model theory Constraint programming Logical truth Mathematical logic Formal languages Structure Interpretation Satisfiability Substitution Constraint satisfaction problem Complexity of constraint satisfaction Boolean satisfiability problem
40	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming